📦 Nubo — репозиторий формальных доказательств для Dedukti
Если вы работаете с формальными доказательствами и Dedukti — Nubo упрощает жизнь.
🔹 Это централизованный репозиторий библиотек с метаданными: имя, версия, зависимости, синтаксис, флаги. 🔹 Поддерживает загрузку (make download), проверку (make check) и упаковку (make package). 🔹 Работает через Makefile-сборку, автоматически управляя зависимостями и структурами. 🔹 Стандартизирует хранение и верификацию библиотек, пригоден для масштабирования и CI.
👨🔬 Полезно для исследователей, разработчиков Dedukti и формальных систем.
📦 Nubo — репозиторий формальных доказательств для Dedukti
Если вы работаете с формальными доказательствами и Dedukti — Nubo упрощает жизнь.
🔹 Это централизованный репозиторий библиотек с метаданными: имя, версия, зависимости, синтаксис, флаги. 🔹 Поддерживает загрузку (make download), проверку (make check) и упаковку (make package). 🔹 Работает через Makefile-сборку, автоматически управляя зависимостями и структурами. 🔹 Стандартизирует хранение и верификацию библиотек, пригоден для масштабирования и CI.
👨🔬 Полезно для исследователей, разработчиков Dedukti и формальных систем.
Among the actives, Ascendas REIT sank 0.64 percent, while CapitaLand Integrated Commercial Trust plummeted 1.42 percent, City Developments plunged 1.12 percent, Dairy Farm International tumbled 0.86 percent, DBS Group skidded 0.68 percent, Genting Singapore retreated 0.67 percent, Hongkong Land climbed 1.30 percent, Mapletree Commercial Trust lost 0.47 percent, Mapletree Logistics Trust tanked 0.95 percent, Oversea-Chinese Banking Corporation dropped 0.61 percent, SATS rose 0.24 percent, SembCorp Industries shed 0.54 percent, Singapore Airlines surrendered 0.79 percent, Singapore Exchange slid 0.30 percent, Singapore Press Holdings declined 1.03 percent, Singapore Technologies Engineering dipped 0.26 percent, SingTel advanced 0.81 percent, United Overseas Bank fell 0.39 percent, Wilmar International eased 0.24 percent, Yangzijiang Shipbuilding jumped 1.42 percent and Keppel Corp, Thai Beverage, CapitaLand and Comfort DelGro were unchanged.
The STAR Market, as is implied by the name, is heavily geared toward smaller innovative tech companies, in particular those engaged in strategically important fields, such as biopharmaceuticals, 5G technology, semiconductors, and new energy. The STAR Market currently has 340 listed securities. The STAR Market is seen as important for China’s high-tech and emerging industries, providing a space for smaller companies to raise capital in China. This is especially significant for technology companies that may be viewed with suspicion on overseas stock exchanges.
